Buy Used and New Claude Jard Books

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings: ... Computer Science and General Issues)

by

ISBN 13: 9783540857778

Format: Paperback (295 pages)
Publisher: Springer
Published: 05 Sep 2008

Save for later

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures: 2067 (Lecture Notes in Computer Science)

by Mark D. Ryan,Brigitte Rozoy,Franck Cassez,Claude Jard

ISBN 13: 9783540427872

Format: Paperback (244 pages)
Publisher: Springer
Published: 24 Oct 2001

Save for later